A A Logical Verification Methodology for Service-Oriented Computing
نویسندگان
چکیده
ALESSANDRO FANTECHI, Dipartimento di Sistemi e Informatica, Università degli Studi di Firenze STEFANIA GNESI, Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo”, ISTI CNR, Pisa ALESSANDRO LAPADULA, Dipartimento di Sistemi e Informatica, Università degli Studi di Firenze FRANCO MAZZANTI, Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo”, ISTI CNR, Pisa ROSARIO PUGLIESE, Dipartimento di Sistemi e Informatica, Università degli Studi di Firenze FRANCESCO TIEZZI, Dipartimento di Sistemi e Informatica, Università degli Studi di Firenze
منابع مشابه
Modular Verification of Systems via Service Coordination?
We present a service-oriented approach to the verification of properties of distributed systems specified in dialects of the π-calculus. Our verification methodology allows programming the coordination of the sub-tasks involved in verification runs together with the corresponding verification toolkits. The methodology is supported by a Web-service infrastructure integrating several verification...
متن کاملAn Autonomic Service Oriented Architecture in Computational Engineering Framework
Service Oriented Architecture (SOA) technology enables composition of large and complex computational units out of the available atomic services. Implementation of SOA brings about challenges which include service discovery, service interaction, service composition, robustness, quality of service, security, etc. These challenges are mainly due to the dynamic nature of SOA. SOAmay often need to ...
متن کاملAn Autonomic Service Oriented Architecture in Computational Engineering Framework
Service Oriented Architecture (SOA) technology enables composition of large and complex computational units out of the available atomic services. Implementation of SOA brings about challenges which include service discovery, service interaction, service composition, robustness, quality of service, security, etc. These challenges are mainly due to the dynamic nature of SOA. SOAmay often need to ...
متن کاملA Literature Review on Cloud Computing Security Issues
The use of Cloud Computing has increasedrapidly in many organization .Cloud Computing provides many benefits in terms of low cost and accessibility of data. In addition Cloud Computing was predicted to transform the computing world from using local applications and storage into centralized services provided by organization.[10] Ensuring the security of Cloud Computing is major factor in the Clo...
متن کاملA Literature Review on Cloud Computing Security Issues
The use of Cloud Computing has increasedrapidly in many organization .Cloud Computing provides many benefits in terms of low cost and accessibility of data. In addition Cloud Computing was predicted to transform the computing world from using local applications and storage into centralized services provided by organization.[10] Ensuring the security of Cloud Computing is major factor in the Clo...
متن کامل